Alwe; "命題論理のカット除去定理"
https://alwe-logic.hatenablog.com/entry/2020/08/29/221219
@Alwe_Logic